Runtime Verification: 9th International Workshop, RV 2009, Grenoble, France, June 26-28, 2009, Selected Papers (Lecture Notes in Computer Science / Programming and Software Engineering)
by
ISBN 13: 9783642046933
Format: Paperback (203 pages) Publisher: Springer Published: 23 Sep 2009
Save for later
Model Checking and Artificial Intelligence: 5th International Workshop, MoChArt 2008, Patras, Greece, July 21, 2008, Revised Selected and Invited ... / Lecture Notes in Artificial Intelligence)
ISBN 13: 9783642004308
Format: Paperback (189 pages) Publisher: Springer Published: 27 Feb 2009
Software Reliability Methods (Texts in Computer Science)
by Doron A. Peled
ISBN 13: 9780387951065
Format: Hardcover (350 pages) Publisher: Springer Published: 01 Jul 2001
Verification, Model Checking, and Abstract Interpretation: 9th International Conference, VMCAI 2008, San Francisco, USA, January 7-9, 2008, ... Computer Science and General Issues)
ISBN 13: 9783540781622
Format: Paperback (325 pages) Publisher: Springer Published: 26 Feb 2008
Software Reliability Methods
ISBN 13: 9781441928764
Format: Paperback (331 pages) Publisher: Springer Published: 10 Oct 2011 Other Format: Hardcover